Tissage d'aspects comportementaux
نویسندگان
چکیده
The notion of aspect looks promising for handling crosscutting concerns earlier in the software life-cycle, up from programming to design, analysis and even requirements. This paper proposes a technique to encapsulate and weave behaviors described as sequence diagrams in base models which contain a finite set of sequence diagrams. The weaving process is twophased. Firstly the detection phase searches parts in the base model. Secondly the composition phase builds the woven model by composing the advise in the base model for each detected part. The entire weaving process is automated and is implemented as model transformations within the Kermeta environment. MOTS-CLÉS : tissage, aspects, scénarios, diagramme de séquence, transformation de modèles.
منابع مشابه
Adaptation au contexte par tissage d'aspects d'assemblage de composants déclenchés par des conditions contextuelles
Due to the multiplicity of mobile computer terminals and communicating objects in our daily life, we observe the emergence of applications using the notion of context. We propose a survey on mobile and ambient computing and then present a model for solving the problem of the interaction between the computer, the user and their environment. We propose a set of definitions of that notion. This is...
متن کاملBehaviourally specific preferred associations in bottlenose dolphins, Tursiops spp
We investigated association patterns of 52 photographically identified, free-ranging bottlenose dolphins (Tursiops spp. Gervais, 1855) across four behavioural states (rest, travel, social, and foraging/feeding) to investigate how behavioural state influences patterns of association. Group composition and behavioural data were extracted from 2178 encounter surveys collected over 3 years. Analyse...
متن کاملAspects of availability: Enforcing timed properties to prevent denial of service
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The ben...
متن کاملBehavioural models for distributed Fractal components
This paper presents a formal behavioural specification framework together with its applications in different contexts for specifying and verifying the correct behaviour of distributed Fractal components. Our framework allows us to build behavioural models for applications ranging from sequential Fractal components, to distributed objects, and finally distributed components. Our models are able ...
متن کامل